大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

0
索取号：
作者：Schreye、 Danny.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Thermal Separation Technology [electronic resource] : Principles, Methods, Process Design

0
索取号：
作者：Mersmann、 Alfons.、Kind、 Matthias.、Stichlmair、 Johann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advanced Manufacturing and Sustainable Logistics [electronic resource] : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

0
索取号：
作者：Dangelmaier、 Wilhelm.、Blecken、 Alexander.、Delius、 Robin.、Kl枚pfer、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Auditory Display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009. Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices [electronic resource] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings

0
索取号：
作者：Samarati、 Pierangela.、Tunstall、 Michael.、Posegga、 Joachim.、Markantonakis、 Konstantinos.、Sauveron、 Damien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

0
索取号：
作者：Blume、 Matthias.、Kobayashi、 Naoki.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings

0
索取号：
作者：L贸pez-Ortiz、 Alejandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Neural Networks in Pattern Recognition [electronic resource] : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010. Proceedings

0
索取号：
作者：Schwenker、 Friedhelm.、Gayar、 Neamat.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Genetic Programming [electronic resource] : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

0
索取号：
作者：Esparcia-Alc谩zar、 Anna Isabel.、Ek谩rt、 Anik贸.、Silva、 Sara.、Dignum、 Stephen.、Uyar、 A. 艦ima.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings

0
索取号：
作者：Sirisuk、 Phaophak.、Morgan、 Fearghal.、El-Ghazawi、 Tarek.、Amano、 Hideharu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Systems, Technology and Management [electronic resource] : 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings

0
索取号：
作者：Prasad、 Sushil K.、Vin、 Harrick M.、Sahni、 Sartaj.、Jaiswal、 Mahadeo P.、Thipakorn、 Bundit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

IEC 61131-3: Programming Industrial Automation Systems [electronic resource] : Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids

0
索取号：
作者：John、 Karl Heinz.、Tiegelkamp、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

0
索取号：
作者：Escobar、 Santiago.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gordon、 Andrew D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

0
索取号：
作者：Schmid、 Ute.、Kitzelmann、 Emanuel.、Plasmeijer、 Rinus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Stem Cell Engineering [electronic resource] : Principles and Applications

0
索取号：
作者：Artmann、 Gerhard M.、Minger、 Stephen.、Hescheler、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院